cbb7e26a7df40bec6d387c220c116449f7187948,java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/ContractInference.java,ContractInferenceInterpreter,visitExpression,#List#PsiExpression#,141

Before Change



    final ValueConstraint constraint = getLiteralConstraint(expr);
    if (constraint != null) {
      return toContracts(states, constraint);
    }

    int paramIndex = resolveParameter(expr);

After Change



    final ValueConstraint constraint = getLiteralConstraint(expr);
    if (constraint != null) {
      return asPreContracts(toContracts(states, constraint));
    }

    int paramIndex = resolveParameter(expr);